On an extension of general coordinate transformations algebra

Syntactic Language Extension via an Algebra of Languages and Transformations

We propose an algebra of languages and transformations as a means for extending languages syntactically. The algebra provides a layer of high-level abstractions built on top of languages (captured by context-free grammars) and transformations (captured by constructive catamorphisms). The algebra is self-contained in that any term of the algebra specifying a transformation can be reduced to a ca...

The Dirac Equation and General Linear Transformations of Coordinate Systems

The spinor representation of the Lorentz group does not accept simple generalization with the group GL(4,R) of general linear coordinate transformations. The Dirac equation may be written for an arbitrary choice of a coordinate system and a metric, but the covariant linear transformations of the fourcomponent Dirac spinor exist only for isometries. For usual diagonal Minkowski metric the isomet...

3D affine coordinate transformations

Landsat MSS Coordinate Transformations

, A number of image a n a l y s i s t a s k s r e q u i r e t h e r e g i s t r a t i o n of a s u r f a c e model w i t h an image. I n t h e case o f s a t e l l i t e images, t h e s u r f a c e model may be a map o r d i g i t a l t e r r a i n model i n t h e form o f surface e l e v a t i o n s on a g r i d o f p o i n t s. We develop here an a f f i n e transformation between coordinates...

A General Conservative Extension Theorem in Process Algebra

We proved a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable conditions. The core of this result is another general theorem giving sufficient conditions for a system of operational rules and an extension ensuring that outgoing transitions from an original term in the extension are the same as in the original system. As a simpl...